|
1.
|
Computer Safety, Reliability, and Security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : Proceedings
by Anderson, Stuart | Felici, Massimo | Littlewood, Bev. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 LIT] (1).
|
|
2.
|
UML 2003 - The Unified Modeling Language : Modeling Languages and Applications : 6th International Conference, San Francisco, CA, USA, October 20-24, 2003 : Proceedings
by Stevens, Perdita | Booch, Grady | Whittle, Jon. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 STE] (1).
|
|
3.
|
Security Protocols : 10th International Workshop, Cambridge, UK, April, 2002 : Revised Papers
by Christianson, Bruce. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2004Availability: Items available for loan: [Call number: 004 CHR] (1).
|
|
4.
|
UML 2004 - The Unified Modeling Language : Modeling Languages and Applications : 7th international conference, Lisbon, Portugal, October 11-15, 2004, proceedings
by Baar, Thomas | Mellor, Stephen J | Moreira, Ana | Strohmeier, Alfred. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 BAA] (1).
|
|
5.
|
FSTTCS 2004 : Foundations of software technology and theoretical computer science: twenty fourth International conference Chennai, India, December 2004 : proceedings
by Lodaya, Kamal | Mahajan, Meena. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2004Availability: Items available for loan: [Call number: 004 LOD] (1).
|
|
6.
|
Agent-oriented software engineering V : 5th international workshop, AOSE 2004, New York, NY, USA, July 19, 2004 ; revised selected papers
by Giorgini, Paolo | Muller, Jorg P | Odell, James. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 ODE] (1).
|
|
7.
|
Service availability : first international service availability symposium, ISAS 2004, Munich, Germany, May 13-14, 2004 ; revised selected papers
by Reitenspiess, Manfred | Kaiser, Jorg | Malek, Miroslaw. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer, 2005Availability: Items available for loan: [Call number: 004 MAL] (1).
|
|
8.
|
Model checking software : twelfth International SPIN Workshop, San Franscisco, CA, USA, August 22-24, 2005 : proceedings
by Godefroid, Patrick. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 GOD] (1).
|
|
9.
|
Intelligent Search on XML Data: Applications, Languages, Models, Implementations and Benchmarks
by Blanken, Henk. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2003Availability: Items available for loan: [Call number: 004 BLA] (1).
|
|
10.
|
Computer safety, reliability, and security : 21st international conference, SAFECOMP 2002, Catania, Italy, September 10-13, 2002 : proceedings
by Anderson, Stuart | Bologna, Sandro | Felici, Massimo. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: New York: Springer-Verlag, 2002Availability: Items available for loan: [Call number: 004 AND] (1).
|
|
11.
|
Distributed reason maintenance for multiagent systems
by Kraetzschmar, Gerhard K. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 006.3 KRA] (1).
|
|
12.
|
Formal methods for mobile computing : fifth International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 ; advanced lectures
by Bogliolo, Alessandro | Bernardo, Marco. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2005Availability: Items available for loan: [Call number: 004 BER] (1).
|
|
13.
|
Software reuse : methods, techniques, and tools : seventh international conference, ICSR-7, Austin, TX, USA, April 15-19, 2002 : proceedings
by Gacek, Cristina. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 004 GAC] (1).
|
|
14.
|
UML 2000 - The Unified Modeling Language : Advancing the Standard : Third International Conference York, UK, October 2-6, 2000 : Proceedings
by Kent, Stuart | Evans, Andy | Selic, Bran. Material type: Book; Format:
print
; Literary form:
Not fiction
Publisher: Berlin: Springer-Verlag, 2000Availability: Items available for loan: [Call number: 004 EVA] (1).
|